[IA64] Make MMU setting of domVTi configurable
authorAlex Williamson <alex.williamson@hp.com>
Sun, 12 Aug 2007 18:19:13 +0000 (12:19 -0600)
committerAlex Williamson <alex.williamson@hp.com>
Sun, 12 Aug 2007 18:19:13 +0000 (12:19 -0600)
commitd3121a2b33156a4257f2e10426ae500d225881ca
treeb99f23e864c8301c26015ecc37a4e86499a424f4
parent26ea5d6e3c71a1701f3e3246c5040f8a03bf8413
[IA64] Make MMU setting of domVTi configurable

This patch makes MMU setting of domVTi configurable.
The size of VTLB and VHPT can be set by boot option.
(e.g. "vti_vtlb_size=256k vti_vhpt_size=1m")

Also some cleanups.

Signed-off-by: Kouya Shimura <kouya@jp.fujitsu.com>
xen/arch/ia64/vmx/vmmu.c
xen/arch/ia64/vmx/vmx_entry.S
xen/arch/ia64/vmx/vtlb.c
xen/include/asm-ia64/vmmu.h